../lib/digseg_driver.v